(* Structure tests. *)
structure S: sig type t end = struct end;
